Generic Description , Behavior and Animationof Visual Modeling Languages

نویسندگان

  • R. Bardohl
  • H. Ehrig
  • C. Ermel
چکیده

Syntax Graphic Graphic Graphic Graphic Graphic Graphic Graphic Graphic Graphic String,12pt,Helvetica String,12pt,Helvetica String,12pt,Helvetica String,12pt,Helvetica String,12pt,Helvetica Figure 2: Abstract and Concrete Syntax of the AHL Net Alphabet VL sentence = (VL abstract sentence, VL concrete sentence) w.r.t. VL alphabet consists of a VL abstract sentence given by an attributed graph structure A which is an algebra w.r.t. Ags , VL concrete sentence given by additional domains and operations leading to an attributed graph structure A', which is an algebra w.r.t. Ags ' satisfying the Csp . The attributed graph structure A' is called VL (visual) sentence and extends A. 4 Example 3.4 (Visual Sentence of the AHL Net Tra c Lights) The visual sentence of the AHL Net Tra c Lights illustrated in Figure 3, corresponds to the AHL net Tra c Lights in Figure 1 (a), and is a visual sentence w.r.t. the AHL net alphabet in Example 3.2 with the algebraic speci cation SPEC given in Section 2. In Figure 3, the graphical attribute carrier nodes and the graphics belonging to the VL concrete sentence are grouped around the lexical symbol nodes and their connection links of the VL abstract sentence, the dashed arrows marking the connection between the abstract and concrete syntax levels. Link constraint have been omitted in Figure 3. 4 The last step in this section is to de ne the concepts of visual grammar and visual language, based on the concepts of visual alphabet and sentence de ned above. De nition 3.5 (Visual Grammar and Visual Language) Let VL alphabet be a visual alphabet. A visual grammar VL grammar = (VL start sentence, VL rules) w.r.t. VL alphabet consists of a switch C1 C2 after(C2) red1 red-yellow L1 after(C1) 1:P 1:T 1:APT 1:ATP 2:ATP 2:APT 2:P 1:Token !:PN 1:InsTP 1:TN 2:InsTP 1:InsPT 2:InsPT 2:Token C2 C1 red1 2:PN red-yellow L1 ACInsPT Token AC

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards Visual Speci cation

Visual graph and net based modeling techniques are of growing interest for software speciication and development. The GenGEd approach developed at the TU Berlin allows already the generic description of visual modeling languages. In this paper, the GenGEd approach is reviewed and extended in order to support the description of dynamic behavior and animation of Petri net based models. The basic ...

متن کامل

Towards Visual Speci cation and Animation of Petri Net Based Models ? ?

Visual graph and net based modeling techniques are of growing interest for software speciication and development. The GenGEd approach developed at the TU Berlin allows already the generic description of visual modeling languages. In this paper, the GenGEd approach is reviewed and extended in order to support the description of dynamic behavior and animation of Petri net based models. The basic ...

متن کامل

Code Generation with the Model Transformation of Visual Behavior Models

There exist numerous techniques to define the abstract and the concrete syntax of metamodeled languages. However, only a few solutions are available to describe the dynamic behavior (animation) of visual languages. The aim of our research is to provide visual modeling techniques to define the dynamic behavior of the languages. Previously, we have created languages to describe animation. In this...

متن کامل

A Generic System to Support Multi-level Understanding of Heterogeneous Software Gupro : a Generic System to Support Multi-level Understanding of Heterogeneous Software

This paper presents the ideas and the implementation of a generic support system for understanding heterogenous software. GUPRO provides a seamless approach for modeling, representing and analysing software. The focus of GUPRO is its adaptability to (almost) arbitrary kinds of source text. Software of di erent programming and description languages can be represented uniformly by a homogeneous i...

متن کامل

Modeling multi-clocked data-flow programs in the Generic Modeling Environment

This paper presents Signal-Meta, the metamodel designed for the synchronous data-flow language Signal. It relies on the Generic Modeling Environment (Gme), a configurable object-oriented toolkit that supports the creation of domain-specific modeling and program synthesis environments. The graphical description constitutes the base to build environments to design multi-clocked systems, and a goo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000